COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source
.font C "zero30"
∂AIL Dr. Michael Beeson↓Institut f%C:%*ur Angewandte Mathematic und Informatik
↓der Universit%C:%*at Bonn↓53 Bonn, den↓Wegelerstr. 6
↓Federal Republic of GERMANY∞

Dear Mike:

	Most likely the reason I didn't reply to your 1974 letter was
that I didn't make up my mind what to say till it was beside the point.

	I would like to get another logician to work on logical problems
of AI, but I have no positions now, and I would rather do research than
write proposals and politic for them.  If you had a fellowship or
sabbatical or something like that, I would be glad to have you as
a visitor, and if things worked out, we could try for something
longer term.

	Under separate cover I am sending you some things I have
recently done.  Maybe some of it will appeal to you and maybe not.

.reg
.<<mental, concep, minima, first>>